A Computer Proof of Moll’s Log-Concavity Conjecture
نویسندگان
چکیده
In his study [7] on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concave. In this paper we settle Moll’s conjecture by a non-trivial usage of computer algebra.
منابع مشابه
A Proof of Moll’s Minimum Conjecture
Abstract. Let di(m) denote the coefficients of the Boros-Moll polynomials. Moll’s minimum conjecture states that the sequence {i(i+1)(d2i (m)−di−1(m)di+1(m))}1≤i≤m attains its minimum with i = m. This conjecture is a stronger than the log-concavity conjecture proved by Kausers and Paule. We give a proof of Moll’s conjecture by utilizing the spiral property of the sequence {di(m)}0≤i≤m, and the ...
متن کاملProof of Moll's minimum conjecture
Let di(m) denote the coefficients of the Boros-Moll polynomials. Moll’s minimum conjecture states that the sequence {i(i+1)(di (m)−di−1(m)di+1(m))}1≤i≤m attains its minimum at i = m with 2−2mm(m + 1) ( 2m m )2 . This conjecture is stronger than the log-concavity conjecture proved by Kauers and Paule. We give a proof of Moll’s conjecture by utilizing the spiral property of the sequence {di(m)}0≤...
متن کاملThe ratio monotonicity of the Boros-Moll polynomials
In their study of a quartic integral, Boros and Moll discovered a special class of Jacobi polynomials, which we call the Boros-Moll polynomials. Kauers and Paule proved the conjecture of Moll that these polynomials are logconcave. In this paper, we show that the Boros-Moll polynomials possess the ratio monotone property which implies the log-concavity and the spiral property. We conclude with a...
متن کاملCombinatorial conjectures that imply local log-concavity of graph genus polynomials
The 25-year old LCGD Conjecture is that the genus distribution of every graph is log-concave. We present herein a new topological conjecture, called the Local Log-Concavity Conjecture. We also present a purely combinatorial conjecture, which we prove to be equivalent to the Local Log-Concavity Conjecture. We use the equivalence to prove the Local Log-Concavity Conjecture for graphs of maximum d...
متن کاملA Short Proof of Moll's Minimal Conjecture
We give a short proof of Moll’s minimal conjecture, which has been confirmed by Chen and Xia.
متن کامل